Set theory

Results: 2815



#Item
731Analysis of algorithms / Probabilistic complexity theory / Randomized algorithm / Consensus / Algorithm / Time complexity / Adversary model / Logarithm / Theoretical computer science / Computational complexity theory / Applied mathematics

Sub-Logarithmic Test-and-Set Against a Weak Adversary? Dan Alistarh1 and James Aspnes2 1 2

Add to Reading List

Source URL: cs-www.cs.yale.edu

Language: English - Date: 2015-04-30 10:33:59
732Decision theory / Rulemaking / Notice of proposed rulemaking / Property / Parking / United States administrative law / Administrative law / Law

  DISTRICT DEPARTMENT OF TRANSPORTATION NOTICE OF SECOND PROPOSED RULEMAKING The Director of the District Department of Transportation (“Department”), pursuant to the authority set forth in Sections 4(a)(5)(A) (ass

Add to Reading List

Source URL: chrs.org

Language: English - Date: 2015-04-22 09:11:48
733Spectral theory of ordinary differential equations / World glyph set / Symbol / Character encoding / Digital typography

¨ RHEINISCHE FRIDRICH-WILHELM-UNIVERSITAT BONN Treatment of the Interface Between Fine Elastic Structures and Fluids with Homogenization Method

Add to Reading List

Source URL: www-m6.ma.tum.de

Language: English - Date: 2004-08-13 10:33:02
734Political economy / Capitalism / Sociology / Social philosophy / Economies / Late capitalism / State monopoly capitalism / Primitive accumulation of capital / Capital accumulation / Economics / Marxist theory / Economic ideologies

Misconceptions about Neo-Liberalism* Prabhat Patnaik Neo-liberalism is often seen only as an economic policy. This per se might not matter, since a specific set of economic measures do, no doubt, fall under the rubric of

Add to Reading List

Source URL: www.networkideas.org

Language: English - Date: 2015-05-19 03:38:17
735Model theory / Formal languages / Metalogic / Semantics / Predicate logic / Interpretation / First-order logic / Well-formed formula / Second-order logic / Logic / Mathematical logic / Mathematics

Combining Theories with Shared Set Operations Thomas Wies, Ruzica Piskac, and Viktor Kuncak EPFL School of Computer and Communication Sciences, Switzerland Abstract. Motivated by applications in software verification, we

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2009-06-22 19:09:56
736Differential topology / Proof theory / Symbol / Sheaf / Mathematics

Lecture Notes on Cubical sets Introduction These are some lecture notes for a course presenting the cubical set model of type theory, first in Copenhagen, December 2014, and then in Paris, FebruaryWe describe a p

Add to Reading List

Source URL: www.cse.chalmers.se

Language: English - Date: 2015-05-31 17:02:27
737Design of experiments / Mathematical optimization / Systems engineering / Submodular set function / Statistical hypothesis testing / Optimal decision / Markov decision process / Optimal design / Optimal control / Statistics / Operations research / Decision theory

Submodular Surrogates for Value of Information Yuxin Chen Shervin Javdani Amin Karbasi

Add to Reading List

Source URL: www.ri.cmu.edu

Language: English - Date: 2015-01-12 10:51:27
738Labeling theory / Sociology / Complexity classes / Chess problem / P

MATH 216 PROBLEM SET 13 This set is due by noon on Friday, March 9. Hand in your homework to me by email. This problem set covers everything up toPlease read all of the problems, and ask me about any statements t

Add to Reading List

Source URL: math.stanford.edu

Language: English - Date: 2012-02-28 14:22:48
739Philosophy of mathematics / Infinite set / Cardinality / Infinity / Logicism / Number / Ordinal number / Set theory / Mathematics / Mathematical logic / Cardinal numbers

“In  good  company?  On  Hume’s  Principle  and  the  assignment  of  numbers   to  infinite  concepts”       In  a  recent  article  (Review  of  Sy

Add to Reading List

Source URL: philosophy.ucsd.edu

Language: English - Date: 2015-03-03 12:01:33
740Econometrics / Generalized method of moments / Linear least squares / Linear regression / Estimator / Least squares / Variance / M-estimator / Covariance / Statistics / Regression analysis / Estimation theory

3. The Generalized Method of Moments The Generalized Method of Moments, as the name suggest, can be thought of just as a generalization of the classical MM. A key in the GMM is a set of population moment conditions that

Add to Reading List

Source URL: lipas.uwasa.fi

Language: English - Date: 2009-11-16 04:15:50
UPDATE